-
1 proof theory
теория доказательств
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > proof theory
-
2 proof theory
circuit theory — теория схем; теория цепей
-
3 proof theory
Большой англо-русский и русско-английский словарь > proof theory
-
4 proof theory
-
5 proof theory
1) Техника: теория доказательства2) Вычислительная техника: теория доказательств -
6 proof theory
English-Russian dictionary of computer science and programming > proof theory
-
7 proof theory
-
8 proof theory
-
9 proof theory
Англо-русский словарь по исследованиям и ноу-хау > proof theory
-
10 proof
1) доказательство
2) непроницаемый
3) нормативный
4) пробный отпечаток
5) рашкетный
6) стандартный
7) проверка
8) испытание
9) защищенный
10) обоснование
11) безопасный
12) герметизировать
13) проба
– acid proof
– brush proof
– certificate of proof
– existence proof
– first proof
– foundry proof
– galley proof
– indirect proof
– irreducible proof
– not serving as a proof
– page proof
– press proof
– proof against
– proof by contradiction
– proof load
– proof press
– proof scheme
– proof spirit
– proof strength
– proof theory
– rigorous proof
– without proof
-
11 theory
1) теория
2) <phys.> борновский
3) учение
4) толкование
5) трактовка
6) истолкование
– abandon theory
– accept theory
– acid-base theory
– advance theory
– airfoil theory
– atomic theory
– band theory
– Bardeen-Cooper-Schrieffer theory
– BCS theory
– circuit theory
– classical theory
– collision theory
– combinatorial theory
– communication theory
– control theory
– deductive theory
– dimensional theory
– dislocation theory
– duality theory
– field theory
– formal theory
– gage theory
– Gersho-Rosencwaig theory
– graph theory
– group theory
– ideal theory
– impact theory
– in theory
– informal theory
– information theory
– measure theory
– object theory
– percolation theory
– pertubation theory
– perturbation theory
– probability theory
– proof theory
– quantum theory
– queueing theory
– queuing theory
– ray theory
– reject theory
– relativity theory
– reliability theory
– residue theory
– rigorous theory
– scheduling theory
– second-order theory
– set theory
– shower theory
– similarity theory
– stability theory
– switching-circuit theory
– theory of correspondence
– theory of elasticity
– theory of estimation
– theory of games
– theory of probability
– theory of queues
– theory of relativity
– theory of sampling
– theory of solids
– theory of valuations
– transport theory
additive ideal theory — <math.> теория идеалов аддитивная
barrier theory of cyclogenesis — <meteor.> теория циклогенеза заслоночная
general theory of relativity — <phys.> теория относительности общая
grand unification theory — <phys.> модель большого объединения, модель великого объединения
unified field theory — <phys.> теория поля единая, теория поля обобщенная
Yukawa meson theory — <phys.> теория мезонная юкавская
-
12 theory
1) теория; учение2) толкование; трактовка3) теоретическое объяснение; теоретические основы•- band theory of solids - corpuscular theory of light - general theory of relativity - strongly undecidable theory - wave theory of light - Yukawa meson theory -
13 theory
1) теория; теоретические основы2) метод•- automatic control theory
- axiomatic set theory
- circuit theory
- coding theory
- communication theory
- data theory
- decision theory
- formal theory of testing
- function theory
- game theory
- graph theory
- group theory
- informal theory
- information theory
- lattice theory
- logic theory
- number theory
- OSA theory
- probability theory
- proof theory
- queueing theory
- reliability theory
- renewal theory
- sampling theory
- scheduling theory
- set theory
- similarity theory
- stability theory
- statistical theory
- switching theory
- theory of algorithms
- theory of binary decisions
- theory of computing
- theory of messagesEnglish-Russian dictionary of computer science and programming > theory
-
14 theory of proof
Математика: теория доказательства -
15 theory susceptible of proof
Общая лексика: лёгко доказуемая теорияУниверсальный англо-русский словарь > theory susceptible of proof
-
16 theory susceptible of proof
-
17 theory of proof
-
18 theory of proof
Англо-русский словарь по исследованиям и ноу-хау > theory of proof
-
19 infallible proof
-
20 formal proof
См. также в других словарях:
Proof theory — proof theory … Philosophy dictionary
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
proof theory — The study of the relations of deducibility among sentences in a logical calculus . Deducibility is defined purely syntactically, that is, without reference to the intended interpretation of the calculus. See also model theory … Philosophy dictionary
Structural proof theory — In mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof. Contents 1 Analytic proof 2 Structures and connectives 3 Cut elimination in the sequent… … Wikipedia
Proof — may refer to: * A rigorous, compelling argument ** Formal proof ** Mathematical proof ** Proof theory, a branch of mathematical logic that represents proofs as formal mathematical objects ** Logical argument ** Evidence (law), tested evidence or… … Wikipedia
Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia
Proof calculus — In mathematical logic, a proof calculus corresponds to a family of formal systems that use a common style of formal inference for its inference rules. The specific inference rules of a member of such a family characterize the theory of a… … Wikipedia
Theory — The word theory has many distinct meanings in different fields of knowledge, depending on their methodologies and the context of discussion.In science a theory is a testable model of the manner of interaction of a set of natural phenomena,… … Wikipedia
Proof mining — In proof theory (a branch of mathematical logic), proof mining is a research program [cite book title = Applied Proof Theory: Proof Interpretations and Their Use in Mathematics author = Ulrich Kohlenbach publisher = Springer Verlag, Berlin year … Wikipedia
Proof complexity — In computer science, proof complexity is a measure of efficiency of automated theorem proving methods that is based on the size of the proofs they produce. The methods for proving contradiction in propositional logic are the most analyzed. The… … Wikipedia
Proof procedure — In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.There are several types of proof calculi. The most popular are natural… … Wikipedia